#include <stdio.h>
#include <stdlib.h>

int main()
{
	#ifdef DEBUG
		printf("Compiled:"__DATE__" at "__TIME__"\n");
		printf("This is line %d of line %s\n", __LINE__, __FILE__);
	#endif
		printf("Hello world\n");
		exit(0);
}
